strongly axiomatizable theory

[數] 強可公理化理論